It's been unused ever since the gdm merge.
https://bugzilla.gnome.org/show_bug.cgi?id=683156
let theme = new St.Theme ({ application_stylesheet: cssStylesheet });
- if (sessionMode.extraStylesheet)
- theme.load_stylesheet(sessionMode.extraStylesheet);
-
if (previousTheme) {
let customStylesheets = previousTheme.get_custom_stylesheets();
hasWorkspaces: false,
createSession: Main.createGDMSession,
createUnlockDialog: Main.createGDMLoginDialog,
- extraStylesheet: null,
panel: {
left: [],
center: ['dateMenu'],
hasRunDialog: false,
hasWorkspaces: false,
createSession: Main.createInitialSetupSession,
- extraStylesheet: null,
panel: {
left: [],
center: ['dateMenu'],
hasWorkspaces: true,
createSession: Main.createUserSession,
createUnlockDialog: Main.createSessionUnlockDialog,
- extraStylesheet: null,
panel: {
left: ['activities', 'appMenu'],
center: ['dateMenu'],